2

Generalizations of Unification

Alessandro Berarducci, Marisa Venturini Zilli
Journal:
Journal of Symbolic Computation
Year:
1993
Language:
english
File:
PDF, 816 KB
english, 1993
3

A Remark on Infinite Matching vs Infinite Unification

BENEDETTO INTRIGILA, MARISA VENTURINI ZILLI
Journal:
Journal of Symbolic Computation
Year:
1996
Language:
english
File:
PDF, 381 KB
english, 1996
4

Reduction graphs in the lambda calculus

Marissa Venturini Zilli
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 2.05 MB
english, 1984
5

While-programs with nondeterministic assignments and the logic ALNA

Gianfranco Mascari, Marisa Venturini Zilli
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.10 MB
english, 1985
6

Preface

Mariangioli Dezani-Ciancaglini, Simona Ronchi dela Rocca, Marisa Venturini-Zilli
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 98 KB
english, 1993
7

Orders, reduction graphs and spectra

B. Intrigila, M.Venturini Zilli
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.40 MB
english, 1999
9

Aλδ-calculus with an algorithmicδ

Guiseppe Longo, Marisa Venturini Zilli
Journal:
Archive for Mathematical Logic
Year:
1980
Language:
english
File:
PDF, 573 KB
english, 1980
10

Complexity of the unification algorithm for first-order expressions

M. Venturini Zilli
Journal:
Calcolo
Year:
1975
Language:
english
File:
PDF, 470 KB
english, 1975
11

Su un problema d'adattamento negli automi probabilistici

M. Venturini Zilli
Journal:
Calcolo
Year:
1968
Language:
italian
File:
PDF, 292 KB
italian, 1968
12

Synchronized regular expressions

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Journal:
Acta Informatica
Year:
2003
Language:
english
File:
PDF, 279 KB
english, 2003
15

On different kinds of indefinite

Marisa Venturini Zilli
Journal:
Calcolo
Year:
1974
Language:
english
File:
PDF, 315 KB
english, 1974
16

Complexity of theorem-proving procedures : some general properties

Longo, G., Venturini Zilli, M.
Year:
1974
Language:
english
File:
PDF, 1.07 MB
english, 1974